essential monomorphism

本质单同态